- λ-абстракция
- lambda abstraction
Русско-английский словарь по электронике. 2009.
λ-абстракция
Look at other dictionaries:
АБСТРАКЦИЯ — (от лат. abstractio отвлечение, отделение) процесс мысленного отвлечения одних свойств и отношений вещей и явлений от других. А. отождествления выделяет общее свойство объектов путем установления отношения эквивалентности или равенства между ними … Философская энциклопедия
АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ — одна из осн. абстракций математики и логики, позволяющая говорить об одинаковых объектах как об одном и том же объекте. А. о. представляет собой «образование абстрактного понятия путём объединения, отождествления предметов, связанных… … Философская энциклопедия
абстракция — (от лат. abstractio отвлечение) одна из основных операций мышления, состоящая в том, что субъект, вычленяя какие либо признаки изучаемого объекта, отвлекается от остальных. Результатом этого процесса является построение умственного продукта… … Большая психологическая энциклопедия
абстракция потенциальной осуществимости — АБСТРАКЦИЯ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ Метод мысленного отвлечения, лежащий в основе идеи так называемой потенциальной бесконечности. Как правило, неограниченное развитие какого либо конструктивного процесса, являющегося… … Энциклопедия эпистемологии и философии науки
АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — одна из осн. абстракций (идеализации) классич. (теоретико множеств.) математики и классич. математич. логики. Состоит в отвлечении от невозможности полного обозрения к. л. бесконечного образования (бесконечной совокупности элементовк. л.… … Философская энциклопедия
АБСТРАКЦИЯ НЕРАЗЛИЧИМОСТИ — абстракция, возникающая в практике наблюдения и обусловленная способностью отличать одно от другого, воспринимать как разные к.л. объективно различные воздействия. Поскольку различаемость (разрешающая способность) органов чувств и… … Философская энциклопедия
АБСТРАКЦИЯ — (лат. abstractio, от лат. abs от, и trahere влечь). Отвлечение какого нибудь признака от предмета, в связи с которым оно существует, и мышление об этом признаке, как о самостоятельном предмете, напр., болезнь, вялость. Словарь иностранных слов,… … Словарь иностранных слов русского языка
АБСТРАКЦИЯ МАТЕМАТИЧЕСКАЯ — абстракция в математике, мысленное отвлечение, представляющее собой существенную составную часть мыслительной деятельности, направленной на формирование основных математич. понятий. Наиболее характерными для математики типами абстрагирования… … Математическая энциклопедия
абстракция актуальной бесконечности — АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ основанный на акте творческого воображения способ образования абстрактных понятий, лежащий в основе формирования одной из наиболее сложных разновидностей идеи бесконечности идеи актуальной бесконечности … Энциклопедия эпистемологии и философии науки
абстракция — и, ж. abstraction f < , лат. abstractio отвлечение. 1370. Рей 1998. 1. филос. Отвлечение от конкретного, обобщение; отвлеченное понятие. Сл. 18. Что же касается до метафизических наших тонкостей, до абстракций и до категорий, то сил моих… … Исторический словарь галлицизмов русского языка
Абстракция — Абстракция ♦ Abstraction «В науке существует только общее, – говорил Аристотель, – а в существовании – только единичное». Поэтому всякая наука по определению абстрактна, ибо она рассматривает общность законов, отношений или понятий, а не… … Философский словарь Спонвиля
